The presence of two above problems impacts not only the understanding for theory of Tarski's truth-conditional semantics but also the evaluation for the theory. 这两方面问题的存在,既影响到对塔尔斯基真值条件语义学理论本身的理解,也在一定程度上影响到对这一理论的评价。
The algorithm not only ensures the correctness of the adapted page, but also increases the usability by obtaining continuous semantics and the best resource utilization using a quantitative evaluation function. 该算法在保证自适应页面正确性的基础上,提出量化评估函数以保证每个小页面的语义连贯性和最优的资源利用率,从而增加页面的可用性。
The present paper involves the FFP-ATS semantics of value evaluation of ML core language. 本文涉及ML核心语言的值的计算这一部分的FFP-ATS语义学。
Appraisal Theory focuses on the semantics of evaluation and studies how the writers/ speakers form alliances with those who share the same views and distance themselves from those who don't. 评价理论以赋值语义为中心,研究作者/说话者如何与持相同观点者联合,与持不同观点者保持距离。
FFP-ATS Semantics of ML Core Language: Evaluation of Value ML核心语言的FFP-ATS语义学:值的计算
Its exterior semantics can be expressed general explanations, conclusions or results of evaluation, sum up. 其外部语义一般可以表示解释说明、结论性或结果性评价、总括。